Abstract Interpretation: Past, Present and Future - CSL-LICS 2014
نویسندگان
چکیده
Interpretation: Past, Present and Future
منابع مشابه
Non-Deterministic Games and Program Analysis: An Application to Security
We present a unifying framework for using game semantics as a basis for program analysis. Also, we present a case study of the techniques. The unifying framework presents games-based program analysis as an abstract interpretation of an appropriate games category in the category of non-deterministic games. The case study concerns an application to security.
متن کاملThe Ackermann Award 2005
The Ackermann Award is presented to the recipients at the annual conference of the EACSL. The jury is entitled to give more than one award per year. The award consists of a diploma, an invitation to present the thesis at the CSL conference, the publication of the abstract of the thesis and the citation in the CSL proceedings, and travel support to attend the conference. The first Ackermann Awar...
متن کاملThe Ackermann Award 2009
The fifth Ackermann Award is presented at this CSL’09, held in Coimbra, Portugal. This is the third year in which the EACSL Ackermann Award is generously sponsored. Our sponsor is the world’s leading provider of personal peripherals, Logitech S.A., situated in Romanel, Switzerland. Eligible for the 2009 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences...
متن کاملThe Ackermann Award 2015
The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This year, again, the EACSL Ackermann Award is generously sponsored by the Kurt Gödel Society. Besides providing financial support for the Ackermann Award, the Kurt Gödel Society has also committed to inviting the recipients of the Award for a special lecture to be given to the Society in Vienna. The 2015 Ackermann Award wa...
متن کامل